2.2.3 Integrals 201 to 294

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 116 66 121 1729 233 0 0 -1

N.S.

1 1.00 0.57 1.04 14.91 2.01 0.00 0.00 -0.01

time (sec)

N/A 0.025 0.030 0.191 0.632 0.414 0.000 0.000 0.000

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 82 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.019 0.069 0.050 0.000 0.000 0.000 0.000 0.000

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 63 0 0 0 0 0 -1

N.S.

1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.015 0.037 0.105 0.000 0.000 0.000 0.000 0.000

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 58 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.015 0.033 0.043 0.000 0.000 0.000 0.000 0.000

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 55 0 0 0 0 0 -1

N.S.

1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.012 0.023 0.003 0.000 0.000 0.000 0.000 0.000

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 54 0 0 0 0 0 -1

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.019 0.030 0.048 0.000 0.000 0.000 0.000 0.000

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 56 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.023 0.039 0.063 0.000 0.000 0.000 0.000 0.000

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 63 0 0 0 0 0 -1

N.S.

1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.025 0.028 0.071 0.000 0.000 0.000 0.000 0.000

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 82 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.020 0.073 0.039 0.000 0.000 0.000 0.000 0.000

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 63 0 0 0 0 0 -1

N.S.

1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.016 0.037 0.098 0.000 0.000 0.000 0.000 0.000

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 58 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.015 0.034 0.044 0.000 0.000 0.000 0.000 0.000

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 55 0 0 0 0 0 -1

N.S.

1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.012 0.024 0.002 0.000 0.000 0.000 0.000 0.000

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

55 55 56 0 0 0 0 0 -1

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.019 0.030 0.046 0.000 0.000 0.000 0.000 0.000

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 54 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.025 0.038 0.061 0.000 0.000 0.000 0.000 0.000

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 63 0 0 0 0 0 -1

N.S.

1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.024 0.029 0.072 0.000 0.000 0.000 0.000 0.000

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 82 0 0 0 0 0 -1

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.020 0.112 0.040 0.000 0.000 0.000 0.000 0.000

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 63 0 0 0 0 0 -1

N.S.

1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.015 0.048 0.101 0.000 0.000 0.000 0.000 0.000

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 58 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.015 0.045 0.044 0.000 0.000 0.000 0.000 0.000

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 55 0 0 0 0 0 -1

N.S.

1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.011 0.003 0.005 0.000 0.000 0.000 0.000 0.000

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

55 55 56 0 0 0 0 0 -1

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.018 0.004 0.046 0.000 0.000 0.000 0.000 0.000

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 56 0 0 0 0 0 -1

N.S.

1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.025 0.007 0.060 0.000 0.000 0.000 0.000 0.000

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 58 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.024 0.037 0.073 0.000 0.000 0.000 0.000 0.000

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 82 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.019 0.072 0.037 0.000 0.000 0.000 0.000 0.000

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 63 0 0 0 0 0 -1

N.S.

1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.016 0.046 0.094 0.000 0.000 0.000 0.000 0.000

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 58 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.015 0.004 0.038 0.000 0.000 0.000 0.000 0.000

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 55 0 0 0 0 0 -1

N.S.

1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.011 0.003 0.003 0.000 0.000 0.000 0.000 0.000

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 54 0 0 0 0 0 -1

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.018 0.029 0.050 0.000 0.000 0.000 0.000 0.000

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 58 0 0 0 0 0 -1

N.S.

1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.022 0.032 0.064 0.000 0.000 0.000 0.000 0.000

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 58 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.023 0.068 0.074 0.000 0.000 0.000 0.000 0.000

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 82 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.019 0.068 0.037 0.000 0.000 0.000 0.000 0.000

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 63 0 0 0 0 0 -1

N.S.

1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.014 0.045 0.092 0.000 0.000 0.000 0.000 0.000

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 58 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.014 0.004 0.037 0.000 0.000 0.000 0.000 0.000

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 53 0 0 0 0 0 -1

N.S.

1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.011 0.003 0.001 0.000 0.000 0.000 0.000 0.000

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

55 55 56 0 0 0 0 0 -1

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.019 0.029 0.049 0.000 0.000 0.000 0.000 0.000

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 58 0 0 0 0 0 -1

N.S.

1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.024 0.035 0.062 0.000 0.000 0.000 0.000 0.000

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 58 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.024 0.065 0.075 0.000 0.000 0.000 0.000 0.000

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 82 0 0 0 0 0 -1

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.020 0.067 0.036 0.000 0.000 0.000 0.000 0.000

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 58 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.015 0.004 0.089 0.000 0.000 0.000 0.000 0.000

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 58 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.015 0.006 0.039 0.000 0.000 0.000 0.000 0.000

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 53 0 0 0 0 0 -1

N.S.

1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.012 0.003 0.003 0.000 0.000 0.000 0.000 0.000

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

55 55 56 0 0 0 0 0 -1

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.020 0.007 0.049 0.000 0.000 0.000 0.000 0.000

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 58 0 0 0 0 0 -1

N.S.

1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.025 0.039 0.063 0.000 0.000 0.000 0.000 0.000

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 58 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.025 0.068 0.076 0.000 0.000 0.000 0.000 0.000

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 77 0 0 0 0 0 -1

N.S.

1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.023 0.053 0.069 0.000 0.000 0.000 0.000 0.000

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 72 0 0 0 0 0 -1

N.S.

1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.022 0.047 0.112 0.000 0.000 0.000 0.000 0.000

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 70 0 0 0 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.021 0.034 0.072 0.000 0.000 0.000 0.000 0.000

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 64 0 0 0 0 0 -1

N.S.

1 1.00 0.93 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.013 0.028 0.013 0.000 0.000 0.000 0.000 0.000

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

60 60 63 0 0 0 0 0 -1

N.S.

1 1.00 1.05 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.019 0.035 0.074 0.000 0.000 0.000 0.000 0.000

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 67 0 0 0 0 0 -1

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.029 0.040 0.054 0.000 0.000 0.000 0.000 0.000

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 70 0 0 0 0 0 -1

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.028 0.030 0.057 0.000 0.000 0.000 0.000 0.000

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

70 70 72 0 0 0 0 0 -1

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.029 0.035 0.059 0.000 0.000 0.000 0.000 0.000

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 80 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.020 0.083 0.053 0.000 0.000 0.000 0.000 0.000

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 80 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.019 0.069 0.051 0.000 0.000 0.000 0.000 0.000

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 80 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.019 0.056 0.051 0.000 0.000 0.000 0.000 0.000

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 80 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.019 0.037 0.046 0.000 0.000 0.000 0.000 0.000

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 80 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.019 0.051 0.044 0.000 0.000 0.000 0.000 0.000

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 80 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.020 0.054 0.043 0.000 0.000 0.000 0.000 0.000

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 80 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.020 0.054 0.044 0.000 0.000 0.000 0.000 0.000

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 80 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.021 0.056 0.046 0.000 0.000 0.000 0.000 0.000

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 89 0 0 0 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.049 6.758 0.108 0.000 0.000 0.000 0.000 0.000

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 15 15 14 13 13 0 13 15

N.S.

1 1.00 1.00 0.93 0.87 0.87 0.00 0.87 1.00

time (sec)

N/A 0.016 0.014 0.083 0.283 0.362 0.000 0.432 0.304

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 17 17 14 13 23 0 13 15

N.S.

1 1.00 1.00 0.82 0.76 1.35 0.00 0.76 0.88

time (sec)

N/A 0.016 0.016 0.038 0.285 0.364 0.000 0.475 0.213

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 53 88 0 67 0 0 -1

N.S.

1 1.00 0.79 1.31 0.00 1.00 0.00 0.00 -0.01

time (sec)

N/A 0.032 0.066 0.102 0.000 0.099 0.000 0.000 0.000

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 61 142 0 83 0 0 -1

N.S.

1 1.00 0.91 2.12 0.00 1.24 0.00 0.00 -0.01

time (sec)

N/A 0.035 0.088 0.093 0.000 0.108 0.000 0.000 0.000

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 21 18 14 13 22 0 14 16

N.S.

1 1.00 0.86 0.67 0.62 1.05 0.00 0.67 0.76

time (sec)

N/A 0.016 0.015 0.086 0.286 0.348 0.000 0.465 0.335

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 27 26 25 23 0 24 -1

N.S.

1 1.00 0.82 0.79 0.76 0.70 0.00 0.73 -0.03

time (sec)

N/A 0.022 0.037 0.104 0.280 0.360 0.000 0.456 0.000

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 35 29 26 25 33 0 26 -1

N.S.

1 1.00 0.83 0.74 0.71 0.94 0.00 0.74 -0.03

time (sec)

N/A 0.022 0.040 0.074 0.285 0.383 0.000 0.450 0.000

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

92 92 63 100 0 78 0 0 -1

N.S.

1 1.00 0.68 1.09 0.00 0.85 0.00 0.00 -0.01

time (sec)

N/A 0.053 0.088 0.103 0.000 0.111 0.000 0.000 0.000

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

92 92 63 152 0 95 0 0 -1

N.S.

1 1.00 0.68 1.65 0.00 1.03 0.00 0.00 -0.01

time (sec)

N/A 0.054 0.255 0.098 0.000 0.109 0.000 0.000 0.000

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

10 10 10 7 6 6 0 6 8

N.S.

1 1.00 1.00 0.70 0.60 0.60 0.00 0.60 0.80

time (sec)

N/A 0.011 0.006 0.034 0.283 0.364 0.000 0.447 0.203

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 32 47 24 41 95 0 42 -1

N.S.

1 1.00 1.47 0.75 1.28 2.97 0.00 1.31 -0.03

time (sec)

N/A 0.019 0.016 0.072 0.536 0.431 0.000 0.435 0.000

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 50 43 41 97 0 42 -1

N.S.

1 1.00 1.61 1.39 1.32 3.13 0.00 1.35 -0.03

time (sec)

N/A 0.019 0.020 0.077 0.535 0.425 0.000 0.520 0.000

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 49 123 0 82 0 0 -1

N.S.

1 1.00 0.80 2.02 0.00 1.34 0.00 0.00 -0.02

time (sec)

N/A 0.032 0.093 0.118 0.000 0.096 0.000 0.000 0.000

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 54 177 0 96 0 0 -1

N.S.

1 1.00 0.87 2.85 0.00 1.55 0.00 0.00 -0.02

time (sec)

N/A 0.032 0.091 0.097 0.000 0.106 0.000 0.000 0.000

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 73 73 65 131 0 66 -1

N.S.

1 1.00 1.18 1.18 1.05 2.11 0.00 1.06 -0.02

time (sec)

N/A 0.036 0.069 0.099 0.515 0.399 0.000 0.433 0.000

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 33 71 63 141 0 64 -1

N.S.

1 1.00 0.53 1.15 1.02 2.27 0.00 1.03 -0.02

time (sec)

N/A 0.030 0.018 0.094 0.499 0.402 0.000 0.466 0.000

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

92 92 64 168 0 98 0 0 -1

N.S.

1 1.00 0.70 1.83 0.00 1.07 0.00 0.00 -0.01

time (sec)

N/A 0.055 0.244 0.131 0.000 0.096 0.000 0.000 0.000

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

92 92 76 160 0 114 0 0 -1

N.S.

1 1.00 0.83 1.74 0.00 1.24 0.00 0.00 -0.01

time (sec)

N/A 0.057 0.148 0.112 0.000 0.101 0.000 0.000 0.000

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 105 0 0 0 0 0 -1

N.S.

1 1.00 1.38 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.077 41.819 0.111 0.000 0.000 0.000 0.000 0.000

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 70 0 0 0 0 0 -1

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.060 10.110 0.086 0.000 0.000 0.000 0.000 0.000

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 68 0 0 0 0 0 -1

N.S.

1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.060 10.143 0.077 0.000 0.000 0.000 0.000 0.000

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 68 0 0 0 0 0 -1

N.S.

1 1.00 0.87 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.072 10.173 0.072 0.000 0.000 0.000 0.000 0.000

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 70 0 0 0 0 0 -1

N.S.

1 1.00 0.90 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.071 10.185 0.076 0.000 0.000 0.000 0.000 0.000

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

85 85 312 0 0 0 0 0 -1

N.S.

1 1.00 3.67 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.056 1.207 0.094 0.000 0.000 0.000 0.000 0.000

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

88 88 314 0 0 0 0 0 -1

N.S.

1 1.00 3.57 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.061 0.175 0.077 0.000 0.000 0.000 0.000 0.000

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

88 88 314 0 0 0 0 0 -1

N.S.

1 1.00 3.57 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.060 0.173 0.093 0.000 0.000 0.000 0.000 0.000

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

91 91 316 0 0 0 0 0 -1

N.S.

1 1.00 3.47 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.066 0.173 0.084 0.000 0.000 0.000 0.000 0.000

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 76 94 0 0 0 0 0 -1

N.S.

1 0.97 1.21 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.080 9.828 0.109 0.000 0.000 0.000 0.000 0.000

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 94 0 0 0 0 0 -1

N.S.

1 1.00 1.24 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.075 6.157 0.104 0.000 0.000 0.000 0.000 0.000

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 94 0 0 0 0 0 -1

N.S.

1 1.00 1.24 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.075 5.433 0.101 0.000 0.000 0.000 0.000 0.000

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 96 0 0 0 0 0 -1

N.S.

1 1.00 1.23 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.064 5.153 0.110 0.000 0.000 0.000 0.000 0.000

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

78 78 225 0 0 0 0 0 -1

N.S.

1 1.00 2.88 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.068 17.423 0.089 0.000 0.000 0.000 0.000 0.000

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 116 0 0 0 0 0 -1

N.S.

1 1.00 1.49 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.074 8.691 0.084 0.000 0.000 0.000 0.000 0.000

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 125 0 0 0 0 0 -1

N.S.

1 1.00 1.60 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.074 6.700 0.084 0.000 0.000 0.000 0.000 0.000